Region Connection Calculus: Its models and composition table
نویسندگان
چکیده
منابع مشابه
Region Connection Calculus: Its models and composition table
Originating in Allen’s analysis of temporal relations, the notion of composition table has become a key technique in providing an efficient inference mechanism for a wide class of theories in the field artificial intelligence. This paper is mainly about the consistency-based composition table (RCC8 CT) of the Region Connection Calculus (RCC) raised by Randell, Cui and Cohn. First we show each R...
متن کاملGeneralized Region Connection Calculus
The Region Connection Calculus (RCC) is one of the most widely referenced system of high-level (qualitative) spatial reasoning. RCC assumes a continuous representation of space. This contrasts sharply with the fact that spatial information obtained from physical recording devices is nowadays invariably digital in form and therefore implicitly uses a discrete representation of space. Recently, G...
متن کاملProbabilistic Region Connection Calculus
We present a novel probabilistic model and specification language for spatial relations. Qualitative spatial logics such as RCC are used for representation and reasoning about physical entities. Our probabilistic RCC semantics enables a more expressive representation of spatial relations. We observe that reasoning in this new framework can be hard. We address this difficulty by using a factored...
متن کاملMultidimensional Region Connection Calculus
The best way to support commonsense reasoning over geographic data is via qualitative spatial reasoning over spatial objects and their relations. The Region Connection Calculus (RCC) (Randell et al. 1992) family is one of the well-known logical languages for formalizing topological relationships that describe commonsense spatial knowledge. In this paper, we modify and extend RCC-8 to propose a ...
متن کاملOn minimal models of the Region Connection Calculus
Region Connection Calculus (RCC) is one primary formalism of qualitative spatial reasoning. Standard RCC models are continuous ones where each region is infinitely divisible. This contrasts sharply with the predominant use of finite, discrete models in applications. In a recent paper, Li et al. (2004) initiate a study of countable models that can be constructed step by step from finite models. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2003
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(02)00372-7